- infinitely long expression
- матем.бесконечно длинное выражение
English-Russian scientific dictionary. 2008.
infinitely long expression
Смотреть что такое "infinitely long expression" в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Primes in arithmetic progression — In number theory, the phrase primes in arithmetic progression refers to at least three prime numbers that are consecutive terms in an arithmetic progression, for example the primes (3, 7, 11) (it does not matter that 5 is also prime). There are… … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
Image impedance — is a concept used in electronic network design and analysis and most especially in filter design. The term image impedance applies to the impedance seen looking in to the ports of a network. Usually a two port network is implied but the concept… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Infinitary logic — Those unfamiliar with mathematical logic or the concept of ordinals are advised to consult those articles first. An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have… … Wikipedia
Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… … Wikipedia
Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers … Wikipedia
Kalam cosmological argument — The Kalām cosmological argument is a contemporary version of the cosmological argument taking its form from Kalām, a form of dialectical argument used in Islamic philosophy.Fact|date=February 2008. It attempts to prove the existence of God by… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Hilary Putnam — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Hilary Whitehall Putnam birth = July 31, 1926 flagicon|USA|size=20px Chicago, Illinois school tradition = Analytic main interests = Philosophy of … Wikipedia
